Skip to content

docs: fix stale heading-id + footnote facts (clarity audit) - #193

Merged
dereuromark merged 1 commit into
mainfrom
docs/stale-fact-fixes
Jun 21, 2026
Merged

docs: fix stale heading-id + footnote facts (clarity audit)#193
dereuromark merged 1 commit into
mainfrom
docs/stale-fact-fixes

Conversation

@dereuromark

Copy link
Copy Markdown
Contributor

From a full-docs clarity pass (3 parallel audits). Fixes the factual drift the audit found and I verified against the grammar + corpus:

  • Heading ids (case-study/syntax.md): the algorithm and example table claimed NFC-normalize + lowercase by default + "diverges from djot". Grammar (PART 9, Specify punctuation handling for auto-generated heading IDs jgm/djot#393) and the corpus are the opposite — case-preserving, no Unicode normalization, case-insensitive cross-refs, lowercasing opt-in. Rewritten to match. (comparison.md / divergence-from-djot.md already said case-preserving; syntax.md was the lone stale holdout.)
  • Footnotes (extensions.md): clarified that inline ^[content] is implemented Tier-1 core; only the sidenote [>content] form is deferred.
  • native-features-analysis.md: inline footnotes labeled Tier-1 core (a carve addition), not "extension".

Doc-only; docs:build passes. Verified the audit's other 'stale' flags were false (e.g. :emoji: parsing IS core + corpus-pinned).

A docs-wide clarity pass turned up factual drift between the case-study narrative
and the current grammar/corpus:

- case-study/syntax.md (heading ids): the algorithm + examples said ids are
  NFC-normalized and lowercased by default and "deliberately diverge from djot".
  The grammar (PART 9, jgm/djot#393) and corpus are the opposite: ids are
  CASE-PRESERVING with NO Unicode normalization, cross-refs resolve
  case-insensitively, and lowercasing is an opt-in transform. Rewrite the steps,
  the example table (Getting-Started, Café-Crème, Über-uns, s-2024-Recap, …),
  and the framing to match. (comparison.md / divergence-from-djot.md were
  already correct; syntax.md was the lone stale holdout.)
- extensions.md: the footnote note implied inline footnotes are deferred. Inline
  `^[content]` is implemented Tier-1 core; only the sidenote `[>content]` form is
  deferred. Clarify.
- native-features-analysis.md: label inline footnotes Tier-1 core (a carve
  addition), not "extension".
@dereuromark dereuromark added the documentation Improvements or additions to documentation label Jun 21, 2026
@dereuromark
dereuromark merged commit 43eda3f into main Jun 21, 2026
3 checks passed
@dereuromark
dereuromark deleted the docs/stale-fact-fixes branch June 21, 2026 15:35
dereuromark added a commit that referenced this pull request Jun 27, 2026
A docs-wide clarity pass turned up factual drift between the case-study narrative
and the current grammar/corpus:

- case-study/syntax.md (heading ids): the algorithm + examples said ids are
  NFC-normalized and lowercased by default and "deliberately diverge from djot".
  The grammar (PART 9, jgm/djot#393) and corpus are the opposite: ids are
  CASE-PRESERVING with NO Unicode normalization, cross-refs resolve
  case-insensitively, and lowercasing is an opt-in transform. Rewrite the steps,
  the example table (Getting-Started, Café-Crème, Über-uns, s-2024-Recap, …),
  and the framing to match. (comparison.md / divergence-from-djot.md were
  already correct; syntax.md was the lone stale holdout.)
- extensions.md: the footnote note implied inline footnotes are deferred. Inline
  `^[content]` is implemented Tier-1 core; only the sidenote `[>content]` form is
  deferred. Clarify.
- native-features-analysis.md: label inline footnotes Tier-1 core (a carve
  addition), not "extension".
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant